翻訳と辞書 |
Matthew Cook : ウィキペディア英語版 | Matthew Cook
Matthew Cook (born February 7, 1970) is a mathematician and computer scientist who proved Stephen Wolfram's conjecture that the Rule 110 cellular automaton is Turing-complete. ==Biography== Cook was born in Morgantown, West Virginia and grew up in Evanston, Illinois. His undergraduate studies were at the University of Illinois and the Budapest Semesters in Mathematics program. In the 1980s Cook qualified as a member of the six-person US team to the International Mathematical Olympiad. In 1990, Cook went to work for Wolfram Research, makers of the computer algebra system Mathematica. He did his doctoral work in Computation and Neural Systems at Caltech from 1999 to 2005. He is now at the Institute of Neuroinformatics at Zurich in Switzerland.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Matthew Cook」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|